mcsta/modest mcsta dpm.jani -E N=6,C=6,TIME_BOUND=5 --props PminQueue1Full -O out.txt Minimal --unsafe --es -S Memory --epsilon 0
dpm.jani:model: info: dpm is an MA model.
dpm.jani: info: Need 16 bytes per state.
dpm.jani: info: Explored 9191028 states for N=6, C=6, TIME_BOUND=5.0.
Peak memory usage: 2644 MB
Analysis results for dpm.jani
Experiment N=6, C=6, TIME_BOUND=5.0
+ State space exploration
State size: 16 bytes
States: 9191028
Transitions: 10604874
Branches: 17865498
Rate: 492025 states/s
Time: 19.6 s
+ Property PminQueue1Full
Probability: 0.026966107848695964
Bounds: [0.026966107848695964, 0.026966107848695964]
Time: 9.1 s
+ Essential states
Iterations: 2
Essential states: 2593081
Transitions: 4006927
Branches: 11267551
Time: 1.6 s
+ Value iteration
Final error: 0
Iterations: 51
Time: 7.4 s
Exported results to file "/out.txt".